Transaction processing

Results: 2475



#Item
421Computing / Theoretical computer science / Computer programming / Logic in computer science / Software testing / Linearizability / Race condition / Atomicity / Lock / Software bugs / Transaction processing / Concurrency control

Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2013-08-04 18:25:14
422Choke / Standard Performance Evaluation Corporation / Human behavior / Transaction Processing Performance Council / Benchmark / Measurement

TPC-H Analyzed Hidden Messages and Lessons Learned from an Influential Benchmark Peter Boncz (CWI) Thomas Neumann (TUM) Orri Erling (Openlink Systems)

Add to Reading List

Source URL: www.tpc.org

Language: English - Date: 2013-09-24 14:06:54
423Data / Information / Databases / Computer memory / Software transactional memory / Serializability / Linearizability / Extensible Storage Engine / Database transaction / Transaction processing / Data management / Concurrency control

Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri

Add to Reading List

Source URL: news.cs.nyu.edu

Language: English - Date: 2014-07-24 14:38:57
424Data management / Payment systems / Databases / Concurrency control / Database transaction / Serializability / Credit card / Automated teller machine / Interac / Transaction processing / Data / Information

CHAPTER 6 Distributed Systems You know you have a distributed system when the crash of a computer you’ve never heard of stops you from

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2011-12-05 05:24:04
425Data / Concurrency control / Software bugs / Databases / Lock / Atomicity / Deadlock / Idempotence / Thread / Computing / Data management / Transaction processing

ConAir: Featherweight Concurrency Bug Recovery Via Single-Threaded Idempotent Execution Wei Zhang1 Marc de Kruijf1,2

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2013-01-24 18:23:37
426Transaction processing / Tree / Linked list / Data management / Mathematics / Binary trees / Concurrency control / Computing / Linearizability

Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2010-09-22 11:42:03
427Data management / Data analysis / Big data / Database theory / Transaction processing / San Antonio / Data mining / Technology / Formal sciences / Geography of Texas

Data MiningConference Guide 2nd International Conference on Big Data Analysis & Data Mining

Add to Reading List

Source URL: www.omicsgroup.com

Language: English - Date: 2015-05-14 05:22:37
428Database theory / Temporal database / Transaction processing / Transaction Processing Performance Council / Data / Bitemporal data / Richard T. Snodgrass / ETH Zurich / Benchmark / Database management systems / Data management / Computing

TPC-BiH: A Benchmark for Bitemporal Databases Martin Kaufmann, Peter M. Fischer, Norman May, Donald Kossmann August 26th, 2013

Add to Reading List

Source URL: www.tpc.org

Language: English - Date: 2013-09-24 14:06:53
429Scalability / System administration / Transaction processing / Database index / Computer cluster / Computing / Fault-tolerant computer systems / Project management

Core Elasticsearch Operations Outline Overview This course is designed to be an interactive course focused on learning Elasticsearch fundamentals as it applies to the role(s) of DBA, Developer Ops and Systems Architects.

Add to Reading List

Source URL: purchases.elastic.co

Language: English - Date: 2015-06-01 13:43:05
UPDATE